Toán học rời rạc

Tự động hóa, ngữ pháp và ngôn ngữ hình thức